Approximating CSPs Using LP Relaxation

نویسندگان

  • Subhash Khot
  • Rishi Saket
چکیده

This paper studies how well the standard LP relaxation ap-proximates a k-ary constraint satisfaction problem (CSP) on label set[L]. We show that, assuming the Unique Games Conjecture, it achievesan approximation within O(k · logL) of the optimal approximation fac-tor. In particular we prove the following hardness result: let I be a k-aryCSP on label set [L] with constraints from a constraint class C, such thatit is a (c, s)-integrality gap for the standard LP relaxation. Then, givenan instance H with constraints from C, it is NP-hard to decide whether, opt(H) ≥ Ω(ck3 logL), or opt(H) ≤ 4 · s, assuming the Unique Games Conjecture. We also show the existence of anefficient LP rounding algorithm Round such that a lower bound for it canbe translated into a similar (but weaker) hardness result. In particular,if there is an instance from a permutation invariant constraint class Cwhich is a (c, s)-rounding gap for Round, then given an instance H withconstraints from C, it is NP-hard to decide whether, opt(H) ≥ Ω(ck3 logL), or opt(H) ≤ O((logL))· s, assuming the Unique Games Conjecture.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

From Weak to Strong LP Gaps for All CSPs

We study the approximability of constraint satisfaction problems (CSPs) by linear programming (LP) relaxations. We show that for every CSP, the approximation obtained by a basic LP relaxation, is no weaker than the approximation obtained using relaxations given by Ω ( logn log logn ) levels of the Sherali-Adams hierarchy on instances of size n. It was proved by Chan et al. [FOCS 2013] (and rece...

متن کامل

Towards a Characterization of Constant-Factor Approximable Min CSPs

We study the approximability of Minimum Constraint Satisfaction Problems (Min CSPs) with a fixed finite constraint language Γ on an arbitrary finite domain. The goal in such a problem is to minimize the number of unsatisfied constraints in a given instance of CSP(Γ). A recent result of Ene et al. says that, under the mild technical condition that Γ contains the equality relation, the basic LP r...

متن کامل

On the Optimality of a Class of LP-based Algorithms

In this paper we will be concerned with a class of packing and covering problems which includes Vertex Cover and Independent Set. Typically, one can write an LP relaxation and then round the solution. For instance, for Vertex Cover one can obtain a 2-approximation via this approach. On the other hand, Khot and Regev [KR08] proved that, assuming the Unique Games Conjecture (UGC), it is NP-hard t...

متن کامل

Approximating CSPs with global cardinality constraints using SDP hierarchies

This work is concerned with approximating constraint satisfaction problems (CSPs) with an additional global cardinality constraints. For example, Max Cut is a boolean CSP where the input is a graph G = (V, E) and the goal is to find a cut S ∪ S̄ = V that maximizes the number of crossing edges, |E(S , S̄ )|. The Max Bisection problem is a variant of Max Cut with an additional global constraint tha...

متن کامل

Fixing Max-Product: Convergent Message Passing Algorithms for MAP LP-Relaxations

We present a novel message passing algorithm for approximating the MAP problem in graphical models. The algorithm is similar in structure to max-product but unlike max-product it always converges, and can be proven to find the exact MAP solution in various settings. The algorithm is derived via block coordinate descent in a dual of the LP relaxation of MAP, but does not require any tunable para...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015